Перевод: со всех языков на все языки

со всех языков на все языки

deduce inference

См. также в других словарях:

  • deduce — 01. It is important to learn a process which will help you to [deduce] the meaning of new vocabulary from context. 02. The detectives were able to [deduce] valuable information about the killer through careful examination of the murder scene. 03 …   Grammatical examples in English

  • deduce — Synonyms and related words: analyze, apply reason, arouse, assume, be afraid, believe, bring forth, bring out, bring to light, call forth, call out, call up, cogitate, collect, conceive, conclude, consider, daresay, deduct, deem, derive, divine,… …   Moby Thesaurus

  • Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to …   Wikipedia

  • draw an inference — index construe (comprehend), derive (deduce), gauge, infer, presuppose Burton s Legal Thesaurus. William C. Burton …   Law dictionary

  • Scientific method — …   Wikipedia

  • infer — I (New American Roget s College Thesaurus) v. t. gather, reason, deduce, conclude, opine; presume; construe. See reasoning. II (Roget s IV) v. 1. [To reach a conclusion] Syn. conclude, deduce, gather, judge, come to the conclusion that, draw the… …   English dictionary for students

  • infer — infer, deduce, conclude, judge, gather are comparable when they mean to arrive at by reasoning from evidence or from premises. All except gather are so clearly differentiated in logical use that these distinctions tend to be retained in general… …   New Dictionary of Synonyms

  • Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …   Wikipedia

  • Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

  • cosmos — /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… …   Universalium

  • metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»